#include <linux/sched.h>
#include <linux/sched/task.h>
#include <linux/sched/init.h>
#include <linux/start_kernel.h>
#include <linux/delay.h>
#include <linux/printk.h>
#include <linux/jiffies.h>

int main(void)
{
    extern void arch_start_kernel(void);

    arch_start_kernel();
}

void run_user(void)
{
    pr_debug("running\n");
}
